$\forall$$x$, $y$:Atom1. $\neg$$x$ =a1 $y$ $\Leftrightarrow$ $x$ $\neq$ $y$